$\forall$${\it es}$:ES, $e$:E. es{-}height(${\it es}$;$e$) $\in$ $\mathbb{N}$